Systematic Test Data Generation for Embedded Software

Functional testing of software dedicated for hybrid embedded systems should start at the early development phase and requires analysis of discrete and continuous signals, where timing constraints play a significant role. Test data generation is done manually nowadays, though it should be automated to the highest possible extent. Hereby, a concept for testing at the model level is introduced. Firstly, the test evaluation design based on the requirements is specified. Then, an automatic and systematic derivation of test data structures appears and finally, generation of test data variants in combinations occurs. The application of signals’ features is proposed for both – test data generation and test evaluation. Furthermore, patterns of generators for such features are built, concrete test stimuli are produced and default sequencing algorithms are created.